（来源：上观新闻）
Open🎻🇩🇴AI 在🔠 2026🇦🇶 年 2🤰 月发布的工程👆🎯博文描述了一个内🇧🇴部实验🈸🦐：约五个🇵🇭🇰🇼月、从空仓库📗到约百万🙅♂️行量级代码、🧚♂️🥩初期仅三📧👁️🗨️名工程师驱🔆👨🦱动 Codex🌠，人类未直接手写🈲业务代码🔚。” 张星8️⃣智也坦率🇲🇹地讲了自己的难🤰🥂处👨👩👧👦🚣。在此之前，这🇰🇪家昔日的明星公司🐅已深陷泥潭：上🤽♂️市后不仅业绩连连🎚🛩亏损，♟️股价也暴🤢跌95%📦🏝，濒临退市边缘👙。
传统分工的☣优势在于清晰：🙁👷你是前端☄🚪，你是后👩❤️👩💅端，你是 🇻🇦QA，职责明确，💠🖇考核方式也明🥠确🎓🧝♂️。但这套逻辑对🌗😹今天的DeepS🇩🇬🤑eek🥁来说已经不够🧪🥒用了🏴。它只是终于🔴🇨🇳从一个被仰望的👩🔬⬆故事，回到了😨一家公司应该站🙋📷立的地面🐦🔘。数据显示，202🇨🇴5年中国📘👚VC、PE市✍🇱🇧场新成立😳基金612🕯7只，募🎠⚱资规模合🍱🐍计3.09📤🥁万亿元💫。
博通的另一种打法🧝♀️🇬🇲 与英🍔伟达和Mar😄vell🍄🦃这样通过收购快速🧧补齐版图🔞🦎不同，博通走的📈👨🚒是一条更强调🇫🇷💰自主掌控的路💖线🗄⛲。注意，这个🍇👩🎓智能体默认🐮🧐能在他电🇧🇻脑上做任何你☝🏓能做的事🦴🍡。图丨相关论🍽文（来🚎☂源：arX🚚iv） 相🇲🇿🏒关论文🥧以《FM✉-Ag🇫🇮ent🏨：通过基于🏃大语言模型的霍尔🇬🇷🇦🇲逻辑推理将形式化👚方法扩🔌展至大规模⏏系统软👶↩件》（FM-🏔Agent🇵🇷👦: Scali📕🥰ng F📿🍫ormal😏🕠 Metho🏴⛔ds to🤘 Lar🚹ge Sys🏐🦎tems🗨▪ via LL🔇🗼M-Ba⚰sed 🤼♂️Hoare-St😬yle Re💶🚼asoni🇹🇻ng）为题🎫发表在🇧🇯🤯预印本网🇵🇾站 arXiv🈷☦[1]🗞。
